1
Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort
సంవత్సరం:
1986
భాష:
english
ఫైల్:
PDF, 26.18 MB
3.0 / 4.0
english, 1986
2
Collected works. Publications 1938-1974

Collected works. Publications 1938-1974

Kurt Gödel, S. Feferman, John W. Dawson Jr., Stephen C. Kleene, G. Moore, R. Solovay, the late Jean van Heijenoort
సంవత్సరం:
1989
భాష:
english
ఫైల్:
DJVU, 3.42 MB
0 / 0
english, 1989
4
Kurt Gödel: Collected works. Publications 1929-1936

Kurt Gödel: Collected works. Publications 1929-1936

Kurt Gödel, Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort
సంవత్సరం:
1986
భాష:
english
ఫైల్:
DJVU, 4.26 MB
0 / 0
english, 1986
5
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Stephen Cole Kleene, Richard Eugène Vesley
సంవత్సరం:
1965
భాష:
english
ఫైల్:
PDF, 9.79 MB
0 / 0
english, 1965
6
Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole
భాష:
english
ఫైల్:
PDF, 20.09 MB
0 / 0
english
7
Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)
సంవత్సరం:
1987
భాష:
english
ఫైల్:
PDF, 10.01 MB
0 / 0
english, 1987
9
Turing's Analysis of Computability and Major Applications of it (Oxford

Turing's Analysis of Computability and Major Applications of it (Oxford

Stephen C Kleene
సంవత్సరం:
1998
భాష:
english
ఫైల్:
PDF, 1.74 MB
0 / 0
english, 1998
10
Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

Stephen C. Kleene
సంవత్సరం:
1969
భాష:
english
ఫైల్:
PDF, 11.80 MB
0 / 0
english, 1969
11
Introducción a la Metamatemática (Colección Estructura y Función N.º 42)

Introducción a la Metamatemática (Colección Estructura y Función N.º 42)

Stephen Cole Kleene
సంవత్సరం:
1974
భాష:
spanish
ఫైల్:
PDF, 83.95 MB
4.0 / 5.0
spanish, 1974
12
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions

Stephen Cole Kleene, R.E. Vesley
సంవత్సరం:
1965
భాష:
english
ఫైల్:
DJVU, 1.59 MB
0 / 0
english, 1965
13
Mathematical Logic

Mathematical Logic

Stephen Cole Kleene
సంవత్సరం:
2002
భాష:
english
ఫైల్:
DJVU, 3.05 MB
0 / 4.0
english, 2002
14
Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel, S. Feferman (editor), John W. Dawson Jr. (editor), Stephen C. Kleene (editor), G. Moore (editor), R. Solovay (editor), Jean van Heijenoort (editor)
సంవత్సరం:
1986
భాష:
english
ఫైల్:
PDF, 27.79 MB
3.0 / 0
english, 1986
15
Mathematical Logic

Mathematical Logic

Stephen Cole Kleene
సంవత్సరం:
1967
భాష:
english
ఫైల్:
EPUB, 16.61 MB
0 / 0
english, 1967
16
Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

Stephen C. Kleene
సంవత్సరం:
1997
భాష:
english
ఫైల్:
PDF, 4.88 MB
0 / 0
english, 1997
17
Two Papers on the Predicate Calculus

Two Papers on the Predicate Calculus

Stephen C. Kleene
సంవత్సరం:
1997
భాష:
english
ఫైల్:
DJVU, 1.40 MB
0 / 0
english, 1997
18
Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Gödel Remembered. Gödel Symposium in Salzburg, 10-12 July 1983

Rudolf Gödel, Olga Taussky-Todd, Stephen C. Kleene, Georg Kreisel (auth.), Paul Weingartner, Leopold Schmmetterer (eds.)
సంవత్సరం:
1987
భాష:
english
ఫైల్:
DJVU, 8.29 MB
0 / 0
english, 1987
19
Formalized Recursive Functionals and Formalized Realizability

Formalized Recursive Functionals and Formalized Realizability

Stephen C. Kleene
సంవత్సరం:
1969
భాష:
english
ఫైల్:
DJVU, 2.35 MB
0 / 0
english, 1969
20
Mathematical logic

Mathematical logic

Stephen Cole Kleene
సంవత్సరం:
2002
భాష:
english
ఫైల్:
DJVU, 2.92 MB
5.0 / 3.0
english, 2002
21
Mathematical Logic

Mathematical Logic

Stephen Cole Kleene
సంవత్సరం:
2002
భాష:
english
ఫైల్:
EPUB, 16.61 MB
5.0 / 0
english, 2002
22
Introduction to Metamathematics

Introduction to Metamathematics

Kleene, Stephen Cole
సంవత్సరం:
1971
భాష:
english
ఫైల్:
DJVU, 4.59 MB
0 / 0
english, 1971
23
Introduction to Metamathematics

Introduction to Metamathematics

Stephen Cole Kleene
సంవత్సరం:
1971
భాష:
english
ఫైల్:
PDF, 14.50 MB
0 / 5.0
english, 1971